Llistar TÃtols per Autor "Manyà , Felip"
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
Automatic theorem proving Teoremes -- Demostració automà tica Logic, Symbolic and mathematical Lògica matemà tica
Ministerio de EconomÃa y Competitividad (Espanya) Ansótegui, Carlos Bofill Arasa, Miquel Villaret i Ausellé, Mateu Manyà , Felip